Comprehensive Lifecycle for Assuring System Safety
نویسندگان
چکیده
This paper explores domain arguments—arguments about why techniques, processes, and designs possess properties as believed by their domain experts. An elicitation technique for their recovery from domain documents is presented. This is followed by demonstrated application of the technique to several domain artifacts from aviation engineering. The elicited arguments are presented and analyzed for their properties. The inherent importance of such arguments is discussed as well as their potential contribution to system assurance arguments such as the safety case.
منابع مشابه
Integrating a Flexible Modeling Framework (FMF) with the Network Security Assessment Instrument to Reduce Software Security Risk
The network security assessment instrument is a comprehensive set of tools that can be used individually or collectively to ensure the security of network aware software applications and systems. Using the various tools collectively provide a distinct advantage for assuring the security of software and systems. Each tool’s resulting output provides feedback into the other tools. Thus, more comp...
متن کاملAssuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring
Autonomous vehicles will share the road with human drivers within the next couple of years. One of the big open challenges is the lack of established and cost-efficient approaches for assuring the safety of Advanced Driver Assistance Systems and autonomous driving. Product liability regulations impose high standards on manufacturers regarding the safe operation of such systems. Today’s conventi...
متن کاملSiemens Offers a Comprehensive Product Portfolio for Safety Lifecycle Management
Executive Overview ..................................................................... 3 Business Issues and Drive towards Risk Reduction ........................... 4 A Complete Safety Portfolio .......................................................... 5 PROFIsafe Enables Single-Bus Safety ............................................ 14 Case Study: Rolf Janssen GmbH ...........................
متن کاملA New Method for Writing Assurance Cases
In this paper, the authors present a new method for writing assurance cases. Assurance cases are documented bodies of evidence that provide a convincing and valid argument that a system is adequately dependable for a given application in a given environment. Assurance cases have been used mostly in the safety field, but are now beginning to be widely applied in other areas. Cyber security is on...
متن کاملThe Role of Situation Awareness in Assuring Safety of Autonomous Vehicles
Assuring safety of autonomous vehicles operating in an open environment requires reliable situation awareness, action planning and prediction of actions of other vehicles and objects. Factors that also have to be considered are certainty and completeness of available information and trust in information sources and other entities. The paper discusses the problem of autonomous vehicle safety ass...
متن کامل